Checking the Integrity of Spatial Semantic Integrity Constraints∗
نویسنده
چکیده
Integrity constraints play a major role when the quality of spatial data is checked by automatic procedures. Nevertheless the possibilities of checking the internal consistency of the integrity constraints themselves are hardly researched yet. This work analyses the applicability of reasoning techniques like the composition of spatial relations and constraint satisfaction in networks of relations to find conflicts and redundancies in sets of spatial semantic integrity constraints. These integrity rules specify relations among entity classes. Such relations must hold to ensure that the data complies with the semantics intended by the data model. For spatial data, many semantic integrity constraints are based on spatial properties described for example through qualitative topological or metric relations. Since integrity constraints are defined at the class level, the reasoning properties of these spatial relations can not directly be applied at that level. Therefore a set of class relations has been defined which, combined with the instance relations, enables for the specification of integrity constraints and logical reasoning on them.
منابع مشابه
Semantic Integrity Constraint Checking for Multiple XML Databases
Global semantic integrity constraints ensure integrity and consistency of data spanning multiple databases. In this paper, we take initial steps towards representing global semantic integrity constraints for XML databases. We also provide a general framework for checking global semantic integrity constraints for XML databases. Furthermore, we set forth an efficient algorithm for checking global...
متن کاملA Strategy for Semantic Integrity Checking in Distributed Databases
Integrity constraints represent knowledge about data with which a database must be consistent. The process of checking constraints to ensure that the update operations or transactions which alter the database will preserve its consistency has proved to be extremely difficult to implement efficiently, particularly in a distributed environment. In the literature, most of the approaches/methods pr...
متن کاملIntegrity Checking for Uncertain Data
The uncertainty associated to stored information can be put in direct correspondence to the extent to which these data violate conditions expressed as semantic integrity constraints. Thus, imposing and checking such constraints provides a better control over uncertain data. We present and discuss a condition which ensures the violation tolerance of methods for integrity checking. Usually, such ...
متن کاملSemantic Integrity Constraint Violations Check for Spatial Database Updating
An efficient spatial data structure in a GIS system for database updating is required in order to minimising of spatial constraint violations and timesaving. An automated constraint checking procedure has been introduced to perform constraint violations check at compiling time before updating the database. Formal definitions of spatial data types were used in attempt to formulate novel equation...
متن کاملUsing Temporary Integrity Constraints toOptimize
Integrity constraints are usually assumed to be permanent properties that must be satissed by any database state. However, there are many situations requiring also temporary constraints, that is, constraints that must hold only for a single database state. In this paper we propose a schema to deene both permanent and temporary constraints, that supports eecient constraint checking and semantic ...
متن کامل